In der modernen Logik ist eine wahre Aussage genau dann logisch notwendig, wenn ihre Negation entweder direkt oder in der Form einer logischen Folgerung einen formalen Widerspruch, d. h. eine Aussage der Form sowohl P als auch nicht-P, impliziert. Der Empirismus akzeptiert nur Aussagen mit logischer Notwendigkeit. Diese Auffassung ist u. a. vo...